This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired (...) by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

This paper examines the conceptual and terminological overlap between theories and models of practical deliberation developed within the fields of Practical Reasoning (PR) and Practical Argumentation (PA). It carefully delineates the volitional, epistemic, normative, and social commitments invoked and explicates various rationales for attributing the label ‘practical’ to instances of reasoning and argumentation. Based on these analyses, the paper develops a new approach to practical deliberation called the Stakeholder Commitment Approach (SCA). By distinguishing between ‘problem holder’ and ‘problem solver’, and (...) specifying the distributions of attributable commitments among the stakeholders, the SCA introduces an extension and refinement of the grounds for assigning the label ‘practical’ that brings PR and PA closer together. (shrink)

Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper, we use logic to analyze, compare and clarify the various solutions to the _śyena_ controversy, a two-thousand-year-old problem arising from seemingly conflicting commands in the Vedas. In the second (...) part, the formalized Mīmāṃsā theories are analyzed and employed to provide alternative perspectives on well-known paradoxes from the contemporary field of deontic logic. Thus, we go from logic to Mīmāṃsā and back again. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

Het denken van de Nederlandse filosoof Leo Polak (1880-1941) heeft nog altijd niet aan actualiteit ingeboet. Hij bepleitte hartstochtelijk de autonomie van de menselijke rede, worstelde met de grondslag van onze ethiek en wierp zich in een tijd van politieke massabewegingen en toenemende verzuiling op als kampioen van het vrije denken. Zelfs tijdens de Duitse bezetting hield hij vast aan zijn zelfstandig oordeel – een houding die hij eind 1941 met de dood in een concentratiekamp moest bekopen. Al die jaren (...) hield hij een dagboek bij, voor hem een essentieel middel om greep te krijgen op zijn leven. Op basis hiervan worden in deze bundel nieuwe aspecten van Polaks leven en werk belicht: zijn denken over schuld en vergelding, zijn verhouding tot grote filosofen als Spinoza en Heymans en zijn houding tegenover het nationaalsocialisme, maar ook zijn familieleven, zijn boekenverzameling en zijn geestelijke nalatenschap. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

Historians of science and the philosophy of science find the substance and stance of Isaac Beeckman's thought highly interesting, for it represented an early attempt to develop a comprehensive picture of the world by means of mechanistic theory, that is, forces acting upon one another. Besides possibly influencing Descartes, this view broke away from medieval religious assumptions and belief in occult forces. Berkel teases out Beeckman's evolving approach to nature by means of his extensive journals, explaining the leading concept (...) of "picturability." Beeckman supplied a stepping stone (one still not widely appreciated) on the path that led to the scientific revolution. (shrink)

We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...) including Von Wright’s four elementary forms of action, the notion of forbearance and notions of instrumentality that make reference to an agent’s expectations. (shrink)

: The transplantation of adult human neural stem cells into prenatal non-humans offers an avenue for studying human neural cell development without direct use of human embryos. However, such experiments raise significant ethical concerns about mixing human and nonhuman materials in ways that could result in the development of human-nonhuman chimeras. This paper examines four arguments against such research, the moral taboo, species integrity, "unnaturalness," and human dignity arguments, and finds the last plausible. It argues that the transfer of human (...) brain or retinal stem cells to nonhuman embryos would not result in the development of human-nonhuman chimeras that denigrate human dignity, provided such stem cells are dissociated. The article provides guidelines that set ethical boundaries for conducting such research that are consonant with the requirements of human dignity. (shrink)

Interactive technology assessment (iTA) provides an answer to the ethical problem of normative bias in evaluation research. This normative bias develops when relevant perspectives on the evaluand (the thing being evaluated) are neglected. In iTA this bias is overcome by incorporating different perspectives into the assessment. As a consequence, justification of decisions based on the assessment is provided by stakeholders having achieved agreement. In this article, agreement is identified with wide reflective equilibrium to show that it indeed has the potential (...) of justifying decisions. We work out several conditions for this agreement to be achievable and just. (shrink)

Episodic representations can be entertained either as “remembered” or “imagined”—as outcomes of experience or as simulations of such experience. Here, we argue that this feature is the product of a dedicated cognitive function: the metacognitive capacity to determine the mnemicity of mental event simulations. We argue that mnemicity attribution should be distinguished from other metacognitive operations (such as reality monitoring) and propose that this attribution is a “cognitive gadget”—a distinctively human ability made possible by cultural learning. Cultural learning is a (...) type of social learning in which traits are inherited through social interaction. In the case of mnemicity, one culturally learns to discriminate metacognitive “feelings of remembering” from other perceptual, emotional, action-related, and metacognitive feelings; to interpret feelings of remembering as indicators of memory rather than imagination; and to broadcast the interpreted feelings in culture- and context-specific ways, such as “I was there” or “I witnessed it myself.” We review evidence from the literature on memory development and scaffolding, metacognitive learning and teaching, as well as cross-cultural psychology in support of this view before pointing out various open questions about the nature and development of mnemicity highlighted by our account. (shrink)

Linguistic category learning has been shown to be highly sensitive to linear order, and depending on the task, differentially sensitive to the information provided by preceding category markers (premarkers, e.g., gendered articles) or succeeding category markers (postmarkers, e.g., gendered suffixes). Given that numerous systems for marking grammatical categories exist in natural languages, it follows that a better understanding of these findings can shed light on the factors underlying this diversity. In two discriminative learning simulations and an artificial language learning experiment, (...) we identify two factors that modulate linear order effects in linguistic category learning: category structure and the level of abstraction in a category hierarchy. Regarding category structure, we find that postmarking brings an advantage for learning category diagnostic stimulus dimensions, an effect not present when categories are non‐confusable. Regarding levels of abstraction, we find that premarking of super‐ordinate categories (e.g., noun class) facilitates learning of subordinate categories (e.g., nouns). We present detailed simulations using a plausible candidate mechanism for the observed effects, along with a comprehensive analysis of linear order effects within an expectation‐based account of learning. Our findings indicate that linguistic category learning is differentially guided by pre‐ and postmarking, and that the influence of each is modulated by the specific characteristics of a given category system. (shrink)

From 22-25 May, 1999, the University of Groningen hosted an international conference on 'The Book of Nature. Continuity and change in European and American attitudes towards the natural world'. From Antiquity down to our own time, theologians, philosophers and scientists have often compared nature to a book, which might, under the right circumstances, be read and interpreted in order to come closer to the 'Author' of nature, God. The 'reading' of this book was not regarded as mere idle curiosity, but (...) it was seen as leading to a deeper understanding of God's wisdom and power, and it culturally legitimated and promoted a positive attitude towards nature and its study. A selection of the papers which were delivered at the conference has been edited in two volumes. The first deals with the perception of the Book of Nature in Antiquity and the Middle Ages; the second volume is devoted to the history of the concept in early modern and modern history. (shrink)

Veterinarians play an essential role in the animal-based food chain. They are professionally responsible for the health of farm animals to secure food safety and public health. In the last decades, food scandals and zoonotic disease outbreaks have shown how much animal and human health are entangled. Therefore, the concept of One Health is broadly promoted within veterinary medicine. The profession embraces this idea that the health of humans, animals and the environment is inextricably linked and supports the related call (...) for transdisciplinary collaboration. Especially in zoonotic disease control, the benefits of the cooperation between veterinarians and human doctors seem evident. However, applying a One Health approach also makes moral problems explicit. For instance, how should veterinarians deal with situations in which measures to protect public health negatively affect animal health? This creates a conflict of professional responsibilities. To deal with such moral problems and to strengthen the veterinarian’s position, the starting point is a holistic perspective on One Health. We will argue for an ‘encapsulated health’ argument: the best way to safeguard human health is to promote the health of animals and the environment. This also holds for the responsibility of the veterinary profession: to serve public health, the central responsibility of veterinarians should be to be experts in animal health and welfare. We elaborate this point by using a case study on the role of the veterinary profession in antimicrobial resistance policies in the Netherlands. (shrink)

Health technology assessment (HTA) is often biased in the sense that it neglects relevant perspectives on the technology in question. To incorporate different perspectives in HTA, we should pursue agreement about what are relevant, plausible, and feasible research questions; interactive technology assessment (iTA) might be suitable for this goal. In this way a kind of procedural ethics is established. Currently, ethics too often is focussed on the application of general principles, which leaves a lot of confusion as to what really (...) is the matter in specific cases; in an iTA clashes of values should not be approached by use of such ethics. Instead, casuistry, as a tool used within the framework of iTA, should help to articulate and clarify what is the matter, as to make room for explication and consensus building. (shrink)

In their open peer commentary: “Making It Count: Extracting Real World Data from Compassionate Use and Expanded Access Programs”, Rozenberg and Greenbaum discuss impo...

An increasing number of research teams are investigating the efficacy of brain-computer interface (BCI)-mediated interventions for promoting motor recovery following stroke. A growing body of evidence suggests that of the various BCI designs, most effective are those that deliver functional electrical stimulation (FES) of upper extremity (UE) muscles contingent on movement intent. More specifically, BCI-FES interventions utilize algorithms that isolate motor signals—user-generated intent-to-move neural activity recorded from cerebral cortical motor areas—to drive electrical stimulation of individual muscles or muscle synergies. BCI-FES (...) interventions aim to recover sensorimotor function of an impaired extremity by facilitating and/or inducing long-term motor learning-related neuroplastic changes in appropriate control circuitry. We developed a non-invasive, electroencephalogram (EEG)-based BCI-FES system that delivers closed-loop neural activity-triggered electrical stimulation of targeted distal muscles while providing the user with multimodal sensory feedback. This BCI-FES system consists of three components: (1) EEG acquisition and signal processing to extract real-time volitional and task-dependent neural command signals from cerebral cortical motor areas, (2) FES of muscles of the impaired hand contingent on the motor cortical neural command signals, and (3) multimodal sensory feedback associated with performance of the behavioral task, including visual information, linked activation of somatosensory afferents through intact sensorimotor circuits, and electro-tactile stimulation of the tongue. In this report, we describe device parameters and intervention protocols of our BCI-FES system which, combined with standard physical rehabilitation approaches, has proven efficacious in treating UE motor impairment in stroke survivors, regardless of level of impairment and chronicity. (shrink)